Every Cauchy Sequence Is Bounded Proof